1,300-year-old royal flush toilet used by crown prince discovered at palace in Korea