A historic ocean liner that once ferried immigrants, Hollywood stars and heads of state may soon find its final resting place at the bottom of the Gulf of Mexico, after a Florida county inked a tentative deal to turn the ship into the world’s largest artificial reef.