Instruct: Name the sum of Hull number with portugal destination
Output: SELECT SUM Hull No. FROM table WHERE Destination = portugal