void publish_mission_result();