Records released by Miami-Dade County, Fla.,in response to American Oversight’s request for communications between representatives of cruise ship industry interests and Miami-Dade local officials.