A 17,000-Ton Oil Rig Ran Aground on a Beach