What is the correct definition of: extinct volcano