Wichita boxer leaves for Rio de Janeiro Olympics