What happens in a game where Occupation Victory is turned on and either or both Capital Planet Victory and/or Flagship Victory is turned on?  Let's suppose that Player A owns the occupation planet and is waiting for the timer to count down to victory.  However, in the meantime Player A's capital planet is bombed out or his flagship is destroyed, resulting in instant defeat for Player A, but he still owns the occupation planet.  What happens a few minutes later when the occupation victory time is met?  Does Player A win the game?  Does everyone including Player A lose the game (game ends, no winner)?  Or does the occupation victory timer stop and the occupation planet reverts to the equivalent of the occupation planet being owned and guarded by Player A's ghost units and structures?