Protesto marítimo sendo interveniente António Paulino de Jesus See original record