who has military branches are republic of china navy and republic of china marine corps ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_militaryBranch dbr_Republic_of_China_Navy sep_dot var_uri dbo_militaryBranch dbr_Republic_of_China_Marine_Corps brack_close