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