How long was Odysseus and his men at war with Troy?​