Former ICE official loses GOP House primary in Ohio