Is there a chrome extension that changes "Gulf of America" back to "Gulf of Mexico" on google maps?

I know it's petty, but its ridiculous to the point where it pisses me off every time I open google maps. Is there an extension that changes it back or allows me to manually change the names of places on google maps?