The tunnel cut by al-Mamum in the 9th century.