I have not cruised with Holland America, but, you may be cutting it quite close to make that flight. I usually consider 12pm the EARLIEST flight, and even then based on the lines for customs at the pier and the airport lines it can be close. ??
See what others say, we did just have a similar topic not too long ago too.
Hope you have a GREAT 1st CRUISE