. . . "The Gulf of California (also known as the Sea of Cortez, Sea of Cort\u00E9s or Vermilion Sea; locally known in the Spanish language as Mar de Cort\u00E9s or Mar Bermejo or Golfo de California) is a body of water that separates the Baja California Peninsula from the Mexican mainland. It is bordered by the states of Baja California, Baja California Sur, Sonora, and Sinaloa with a coastline of approximately 4,000 km (2,500 mi)."@en . . "1.126e+06"^^ . "1.6e+11"^^ . . . "Gulf of California"@en . . . .