Martim Pais de Ribeira — Portuguese military and nobleman