Severino António José da Rosa See original record