Three Miles Down - Harry Turtledove