Return an EOF object from READ if end-of-file is reached