SCHEMA:
CREATE TABLE table_name_84 (hull_no INTEGER, destination VARCHAR)
User Question:
Name the sum of Hull number with portugal destination


SELECT SUM(hull_no) FROM table_name_84 WHERE destination = "portugal"