Antalet af de allierades krigsfartyg tordedock