Praia de Mira mantém recorde mundial da Bandeira Azul