in which mountain range would one be able to find roque de los muchachos?
(AND geography.mountain_listing (JOIN geography.mountain_listing.mountains m.03pvcz))