(this space intentionally left untitled)
Yes, that's correct. The time for the traveler would seem normal to them, they would (hopefully) cause a nice warp in space.time between here and there, make a quick jump, do some science, jump back, and everyone they knew would be dead. Still, could be worse, we could miss out on the interesting science brought back by the time-warping travelers!
"1.4 times the size of Earth that has been clocked orbiting a red dwarf star in the constellation of Cetus."
So, Cetus is the whale, and Red Dwarf is the mining ship... I got this. Smoke me a kipper, no fatties on my new planet! :P