Glad you had great weather for your cruise.
We have cruised many times the first couple of weeks of July and always had great weather for about 95% of the time.
Not so this year -- saw the sun only for a few short hours a couple of days. Very chilly every day.
Stopped counting a few years ago -- have done over 140 cruises.