I think you and the other poster are saying different things. You are saying it’s fortunate that a spring tide was coming and you are right. I think grand parent is saying that sailors are well aware of tides and as soon as the ship got stuck they would have been racing to meet the spring tide, which was planning and not luck.
You do realize the canal operates during all tides?
So yes, it was absolute luck this accident happed right before the highest tides of the month.