How Big is Thanatosdrakon, the 'Dragon of Death'?