Thanks for the info!Yes you are correct shorter hours on a day like that indicates they expect lower crowds than a long hour day. However I feel that Disney is in error. When Veterans Day falls along a weekend it usually has 8-11 hours. Being on a Monday instead of starting the weekend it may be slower, but I wouldn't be surprised if they extend the hours before or on the very day.
Never the less, the 18th starts a busy week when lots of tourists are in the park. The 25th has a tailing off at nice since it ends a vacation week. I'd give the 12th a small edge over the 25th.