Sea World - busier 10/9 or 10/10 holiday weekend?

[gingy]

This will be my first Sea World visit after visiting Orlando many times.

Since it's Columbus Day weekend, which day will likely be busier at the park, Sunday the 9th, or Monday the 10th? Thanks!