what is the number of religious leaders who are ethnic korean?
(COUNT (AND religion.religious_leader (JOIN people.person.ethnicity m.01xhh5)))