user: Question: What is Ship, when Nationality is "Syria", and when Date is "26 June 1943", and when Tonnage is "80"?
Columns: ['Date', 'Ship', 'Nationality', 'Tonnage', 'Fate']
Types: ['text', 'text', 'text', 'real', 'text']
Sample row: ['9 September 1941', 'Empire Springbuck', 'UK', 5591.0, 'Sunk']
SQL:

assistant: SELECT "Ship" FROM "Table" WHERE "Nationality" = 'Syria' AND "Date" = '26 June 1943' AND "Tonnage" = 80.0;