José Maurício Correia Henriques — Portuguese diplomat