GetDateTimeFormat: Don't override timeZoneName if already present #3064
Description
GetDateTimeFormat, step 17.c:
c. If defaults is zoned-date-time, then
i. Set formatOptions.[[timeZoneName]] to "short".
This step shouldn't be executed when formatOptions.[[timeZoneName]] is already defined.