If league play resumes on July 31, game 7 of NBA Finals could happen on Oct. 12