When was the last time 15 ocean ships docked almost all at once in New York, and undocked again, and sometimes redocked in-between, all in a week?