今回の火星15、終端速度はどの程度だったんだろう