Identification at high mass resolution of the positive ion at m/z 19 produced by electron-stimulated desorption: F+ (rather than H3O+)