CREATE TABLE table_name_36 (score INTEGER, player VARCHAR(255))
What's the sum of all phil mickelson's game scores?
    
SQL: SELECT SUM(score) FROM table_name_36 WHERE player = "phil mickelson"