10,000th ship transits Panama Canal expansion locks.