Task: Text to Code
Input (English): For each city, list their names in decreasing order by their highest station latitude.
Output (English): SELECT city FROM station GROUP BY city ORDER BY max(lat) DESC