Florida police officer succumbs to injuries from June shooting