local

Taps sounded to honor JFK, others at Arlington Cemetery