Seems like the answer is somewhere in the area of 14,000 troops and a couple dozen warships.