San José is the name of the first canton in the province of San José in Costa Rica .
San José is the name of the first canton of San José Province in Costa Rica .