REDO WAL file
The REDO WAL file is the WAL file containing the last checkpoint's REDO record.
It is calculated from the REDO location. It can be determined by examining the output of pg_controldata, or in PostgreSQL 9.6 and later, by executing:
SELECT redo_wal_file FROM pg_control_checkpoint()