https://tuanlp.com/recovering-from-the-loss-of-redo-log-files/