how many military people have catholic christianity as their religion?
(COUNT (AND military.military_person (JOIN people.person.religion m.0c8wxp)))