Rheumatic heart disease among adults in a mining community of Papua, Indonesia