Corpus Christi is a coastal city in the South Texas region of the U.S. state of Texas. The county seat of Nueces County, it also extends into Aransas, Kleberg, and San Patricio counties. The metropolitan area population in 2012 was 469,134. The population was 312,195 at the 2012 US Census estimate, making it the eighth most populous city in the state of Texas. It is the principal city of the tri-county Corpus Christi metropolitan area, as well as the larger Corpus Christi-Kingsville Combined Statistical Area. The translation from Latin of the city's name (Corpus Christi) means Body of Christ. The name was given to the settlement and surrounding bay by Spanish explorer Alonso Álvarez de Pineda in 1519, when he discovered the lush semi-tropical bay on the feast day celebrating the "Body of Christ." The city has the nicknames "Texas Riviera" and "Sparkling City by the Sea", particularly in literature promoting tourism.