Joaquim Insley Pacheco (Portuguese, born circa 1912)