Alajuela (nombre propio): Provincia de Costa Rica.