San José Province in San Antonio/Costa Rica