The Gulf mainland shore runs more than 4,000 miles from the Florida Keys to Cabo Catoche on the Yucatán Peninsula ... "North Sea" (Atlantic Ocean). One map dated 1584 called it "Mare de Nort ...