Normal
I think to avoid confusion, most ships stick with the time of the port they originated from (i.e. if you leave from Miami, you are on EDT). At least this is how it has been for every single cruise I have been on (eastern and western caribbean).