Hiller 09-072: Ancient Chinese astronomical instrument in Nanking