I don't know the answer to your question, but I wouldn't bet on it
I'd suggest that your DF go to his local library and check out a few large print books to bring with him. If reading is important to him it will be worth the extra weight
As an avid reader, I'd be very upset if I couldn't find a book to read onboard .
Have a wonderful cruise,
"A truly happy person is one who can enjoy the scenery on a detour."