We don't have a biography for António da Costa Machado yet. Hang in there, or go ahead and contribute one.
