A type of valley which was occupied by a stream which disappears underground at the valley’s lower and as it approaches an enclosing wall is termed as