An oil tanker can be emptied by the main pump in 4 hours. An auxiliary pump can empty the tanker in 7 hours. If the main pump is started at 5 PM​, when should the auxiliary pump be started so that the tanker is emptied by 8 PM​?