mayor of Manaus — head of the executive power in the Brazilian municipality of Manaus