NTSB: Amtrak Washington train doing 80 mph in 30 mph zone