Four shot down during Vietnam War are buried at Arlington