ivan-leon-portugal documents