After which battle did France officially enter the American Revolutionary War?