Maripipi used to be a barrio of Naval.
Maripipi adoitaba ser un barrio de Naval.