List all the names of the mountains.
select name from mountain
Keep the ones that the mountain Prominence is more than 900.0.
select name from mountain where prominence > 900.0
So which mountain is the highest one?
select name from mountain order by height desc limit 1