What was the total for united states player phil mickelson?
CREATE TABLE table_name_72 (
    total INTEGER,
    country VARCHAR,
    player VARCHAR
)
SELECT MIN(total) FROM table_name_72 WHERE country = "united states" AND player = "phil mickelson"
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 was the total for united states player phil mickelson? ### Input: CREATE TABLE table_name_72 (
    total INTEGER,
    country VARCHAR,
    player VARCHAR
) ### Response: SELECT MIN(total) FROM table_name_72 WHERE country = "united states" AND player = "phil mickelson"