Task: Question Answering
Input (English): passage: The Gulf of California (also known as the Sea of Cortez, Sea of Cortés or Vermilion Sea; locally known in the Spanish language as Mar de Cortés or Mar Bermejo or Golfo de California) is a marginal sea of the Pacific Ocean 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). Rivers which flow into the Gulf of California include the Colorado, Fuerte, Mayo, Sinaloa, Sonora, and the Yaqui. The gulf's surface area is about 160,000 km (62,000 sq mi). Depth soundings in the gulf have ranged from fording depth at the estuary near Yuma, Arizona, to in excess of 3,000 meters (9,800 ft) in the deepest parts.
 question: is the gulf of california the same as the sea of cortez?
Output (English): Yes