John Lewis died on July 17th