Informasi yang berkaitan dengan it/João de Mascarenhas, I marchese di Fronteira