Records request to the Miami-Dade County, Fla., seeking communications between representatives of cruise ship industry interests and Miami-Dade local officials.