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"
context: CREATE TABLE table_name_72 (total INTEGER, country VARCHAR, player VARCHAR)