El nombre oficial es "The City of San José".