The Himalayas: an ancient seabed