Teaching HM03 to the database...

“Magikarp can supposedly jump over a mountain, according to its Pokédex entry.”