“That sounds nice, no?” she added with a sarcastic tone. She also noted that the Gulf of Mexico had been named that way since 1607. The exchange has started to answer a larger question ...