San José Province — province of Costa Rica