San Antonio de Petrel. (Instituto Geográfico Militar, 2009)