Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Identificar os navios que visitaram o porto de 'Tianjin' mas não transportaram qualquer carga.
 ###Tabelas: 
CREATE TABLE ports (id INT, name VARCHAR(50), location VARCHAR(50), un_code VARCHAR(10)); CREATE TABLE vessels (id INT, name VARCHAR(50), type VARCHAR(50), year_built INT, port_id INT); CREATE TABLE captains (id INT, name VARCHAR(50), age INT, license_number VARCHAR(20), vessel_id INT); CREATE TABLE cargo (id INT, description VARCHAR(50), weight FLOAT, port_id INT, vessel_id INT); CREATE VIEW captain_vessel AS SELECT captains.name AS captain_name, vessels.name AS vessel_name FROM captains INNER JOIN vessels ON captains.vessel_id = vessels.id;
SELECT DISTINCT vessels.name FROM vessels LEFT JOIN cargo ON vessels.id = cargo.vessel_id WHERE cargo.vessel_id IS NULL AND vessels.port_id IN (SELECT id FROM ports WHERE name = 'Tianjin');