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