Death at Texas Six Flags Prompts Lawsuit