SpaceX’s record-setting rocket booster lost at sea