Michael Mendes da Costa — (died 1977)