What is a crater?