Another option might be to overnight at JFK and take an early AM JFK-DCA flight. Those fares run in the $125 range which compares favorably with Amtrak, especially after adding in local transportation and hassle. All depends on when you need to be in WAS.