Simulation of tsunami from dinosaur-killing asteroid that brought 2.5 mile waves