Nautical charts. Florida Keys, Fla., Gulf Coast, Alligator Reef to Sombrero Key, surveys to 1935 and other sources; chart 1250. Scale 1:80,000.