Ragapadmi and the First Leper: A Critical History of Leprosy Transmission in Madura, Indonesia