what gun does the california highway patrol use