João Baptista de Castro — Portuguese judge