Deputy Jaquim Barthen was one of three officers ambushed by a gunman back in October