How is the AC on the Diamond? For a European summer cruise will the public rooms be too cool for just short sleeves in the evening?