Markets | Tue May 14, 2013 4:25pm EDT

U.S. stocks jump to record highs, dollar rises