The Offshore Drilling Industry and Rig Construction in the Gulf of Mexico