Florida gunman was mentally ill ex wife