I have seen estimates that it was between 6 and 9 miles in diameter.