el problema que tienes es que la consulta está mal. Sólo pides el nombre del barco, no el código.
Código PHP:
<?php
if(isset($_GET['cod'])){ //SI SE HA METIDO EL CODIGO DEL BARCO
//Realizar la conexion al servidor (sustituyes la info con los datos de tu servidor)
$con = mysql_connect('localhost', 'root', '0000'); //DATOS
$code = $_GET['cod']; //PARA USAR GET, USA EL FORM QUE TE DEJO
//Elegimos la Base de Datos
mysql_select_db("db_inpa136");
//Se procede con la consulta
$query = 'SELECT `nombre_barco`,`cod_barco` FROM `tbl_barcos` WHERE cod_barco = \''.$code.'\'';
$rs_query = mysql_query($query);
//Comprobar si se ha realizado la consulta
if(!$rs_query){
die('Error: '.mysql_error());
}
//Mostrar el nombre
while($nombre = mysql_fetch_array($rs_query)){
echo 'Nombre: '.$nombre['nombre_barco'].'<br />Código de barco: '.$code['cod_barco'].'<br />';
}
}else{
?>
<?php } ?>
Prueba eso, debería funcionarte ^^