The president announced at Arlington that he was renaming the holiday.