Is F3+ viable? A high-level ab initio comparison of F3+ and Cl3+