Marie Thomas — Indonesian physician (1896-1966)