Simulation shows tsunami from dinosaur-killing asteroid that brought 2.5-mile-high waves to Gulf Coast