What is a kind of circular valley in the side of a mountain, walled around by precipices of great height called?

cirque — A kind of circular valley in the side of a mountain, walled around by precipices of great height. (Webster's 1913.)

Sources