Boca de San Carlos, Costa Rica, Nicaragua (Army Map Service, 1967)