nota falecimento severiano mario porto