crater lake, on the island of São Miguel