Fortunately, none of our Citrus County Deputies, Marion County Deputies or Florida Highway Patrol Troopers were injured as a result of this crime.” Yates said no additional information will be released at this time.