when did ww2 officially end for the us