CREATE TABLE table_name_72 (total INTEGER, country VARCHAR(255), player VARCHAR(255))
What was the total for united states player phil mickelson?
    
SQL: SELECT MIN(total) FROM table_name_72 WHERE country = "united states" AND player = "phil mickelson"