Rosetta Problems

Do you know the second highest mountain?

https://atcoder.jp/contests/abc201/tasks/abc201_b