crater became lake