Are retired Federal Marshalls entitled to the same tax benefits as West Virginia State Police Officers and Firefighters?