What weighs more than 87,000 tons and is twice the size of...