an ocean basin that shares nearly equal lengths of shoreline with the U.S. and Mexico, reads: "The Gulf of America, formerly known as the Gulf of Mexico, with an average depth 5300 ft is a major ...