Table schema:
CREATE TABLE table_name_4 (tonnage VARCHAR, date VARCHAR)

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