how many religions are followed by the people in the u . s . navy ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_militaryBranch dbr_U.S._Navy sep_dot var_x dbo_religion var_uri brack_close