A person is going to fly from New York to London. If he leaves at 4:00 p.m., Eastern Standard Time and the flight lasts 4 1/2 hours, at what time should he set his watch when he arrives in London?