bueno lo que yo veo es que cuando muestras esta linea
Código PHP:
echo 'Nombre: '.$nombre['nombre_barco'].'<br />Código de barco: '.$code['cod_barco'];
esta mal definida porque la variable $code es la que recibe $_GET['cod'] y tu alli la colocas como cod_barco por eso debe ser que no te lo muestra bien, y si quieres llamarlo de la misma base de datos debes colocar
Código PHP:
echo 'Nombre: '.$nombre['nombre_barco'].'<br />Código de barco: '.$nombre['cod_barco'];
y nose si en la BD se llame cod_barco
saludos...