CREATE TABLE table_name_51 (laps INTEGER, driver VARCHAR(255))
What is the highest number of laps for chris amon?
    
SQL: SELECT MAX(laps) FROM table_name_51 WHERE driver = "chris amon"