Can you name any anime characters based on or named after real Japanese myths?