Puntarenas (nombre propio): Ciudad y puerto de Costa Rica.