High-Altitude Water Cherenkov observatory