Trump marks Veterans Day with ceremony at Arlington National Cemetery