El patrullero oceánico ARC "24 de Julio" fue entregado a la Armada de Colombia