We'll be off the ship that morning and at the Wilderness Lodge. I think the viewing from WDW (at least, darker areas of WDW) should be okay.
What is also nice is that the total eclipse begins at 11:13 pm (the website says EDT), so it's late enough that we'll be home from the parks and can really enjoy it. I'm sure my husband is already planning on which lenses and filters he'll use to photograph it!