洛克·德·洛斯·穆查索斯天文台 (Roque de los Muchachos Observatory) 拥有世界上最大的镜子望远镜之一