Today, we honor all those who have served our country. Happy Veterans
Day. Thank you for your service.