Although not requried, if you DS has a picture ID, I would probably have him take it with him. Just to make sure he had some sort of picture ID
I am one of the people who take my passport with me. I just have a fear that if something were to happen and I missed the ship, then I would be in a foreign country with no proof of US citizenship.