Cuando se proceda a la venta en remate judicial de un buque de bandera o
matrícula extranjera, no será necesario presentar los títulos de
propiedad, ni los certificados de la matrícula anterior. La bandera del
buque cesará de pleno derecho por el hecho del remate judicial del mismo.