What is the total number of Tonnage, when Date is "25 June 1943"?
CREATE TABLE table_name_4 (tonnage VARCHAR, date VARCHAR)
SELECT COUNT(tonnage) FROM table_name_4 WHERE date = "25 june 1943"
### Context: CREATE TABLE table_name_4 (tonnage VARCHAR, date VARCHAR) ### Question: What is the total number of Tonnage, when Date is "25 June 1943"? ### Answer: SELECT COUNT(tonnage) FROM table_name_4 WHERE date = "25 june 1943"