Los buques forman parte de una lista de 76 entidades que la Oficina de Control de Activos del Departamento de Tesoro (Ofac).