Lagoa de Fogo, a crater lake in San Miguel in The Azores