Pedro Maurício Correia Henriques — Portuguese diplomat