Table schema:
CREATE TABLE table_name_72 (total INTEGER, country VARCHAR, player VARCHAR)

Question: 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"