In which one of the following months are thunderstorms most likely to occur in the United States?