"havsinnsjø" er et 10-bokstavers substantiv som brukes som synonym for "Mexicogolfen". Mexicogolfen betyr: En innsjø i havet