Antonito (nombre propio): Población en el estado de Colorado, Estados Unidos.