The oldest and largest water clock in the world, by Yu Jeon, in the time of King Jungjong, in the Joseon Dynasty