Antalet af de allierades krigsfartyg tottedock