D'Acevedo, Rodriguez, alias Azevedo; Portuguese colonel