Angra do Heroísmo — former district of Portugal