Table schema:
CREATE TABLE table_142159_1 (arrival INTEGER, name VARCHAR)

Question: What is the arrival time of greenbat
SQL: SELECT MAX(arrival) FROM table_142159_1 WHERE name = "Greenbat"