CREATE TABLE table_name_4 (tonnage VARCHAR(255), date VARCHAR(255))
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"