Whether they are on the International Space Station, or on a manned flight, if an astronaut dies in space, what would his colleagues do with the body?