What is the total number in class for the Whitehaven Coal?
CREATE TABLE table_name_13 (
    number_in_class INTEGER,
    owner VARCHAR
)
SELECT SUM(number_in_class) FROM table_name_13 WHERE owner = "whitehaven coal"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the total number in class for the Whitehaven Coal? ### Input: CREATE TABLE table_name_13 (
    number_in_class INTEGER,
    owner VARCHAR
) ### Response: SELECT SUM(number_in_class) FROM table_name_13 WHERE owner = "whitehaven coal"