I've heard of the Straits of Gibraltar since grade school, and the British have a major port there. But "Straits of Florida?" Hopefully those who live in Florida know of it, but I wouldn't say it was COMMON geographical knowledge. I say this because I consider that I have COMMON geographical knowledge because I've had a life-long interest in geography, with a world-travelling-aunt who went EVERYWHERE you can imagine, took slide pictures to show us, and taught it in college. I think Dr. Shapard is correct, but I have no text to cite.