Mile-high tsunami over port of Galveston, Texas