bordo de un buque o aeronave matriculado en ese Estado;