Así que el lugar fue bautizado «Angra dos Reis», que significa «Ensenada de los Reyes».