On the formation of HCO+ and HOC+ from the reaction between H+3 and CO