The historic, aging ocean liner that a Florida county plans to turn into the world’s largest artificial reef has departed ...