US | Wed Feb 26, 2014 8:03pm EST

Florida man executed for trooper's 1992 pipe-bomb death