A small Chrome extension that restores the Gulf of Mexico's name on Google Maps. Available for download here.
A YouTube video covering the research into building this is available here.
