SCHEMA:
CREATE TABLE table_name_13 (number_in_class INTEGER, owner VARCHAR)
User Question:
What is the total number in class for the Whitehaven Coal?


SELECT SUM(number_in_class) FROM table_name_13 WHERE owner = "whitehaven coal"