how many religious leaders are there who are ethnic korean?
(COUNT (AND religion.religious_leader (JOIN people.person.ethnicity m.01xhh5)))