What is the name of the highest mountain?
select name from mountain order by height desc limit 1