Given the task definition and input, reply with output. Compose a new way to ask the same question. The new question must be asking the exact same thing as the original question does. Without any other information, you should be able to tell that the original question and the new question are the same. Preserve bracketed phrases in your new question. You can change the rest of the question provided the above requirements are satisfied. The new question must have a natural, fluent formulation, as if it were composed by a native English speaker. You will be given three pieces of information to help you create better questions. Those are: "Answer": the answer to the question, e.g., "Honolulu". "Answer Type": the type of the answer, e.g., "Location". "Auxiliary Information" is a detailed description of some concepts mentioned in the question, if any.

original question: Which baseball manager is currently managing [Miami Marlins]?
answer: mike redmond
answer type: Baseball Manager.
auxiliary information: The Miami Marlins are a professional baseball team based in Miami, Florida as a member of the Eastern Division of Major League Baseball National League. Their home park is Marlins Park. The team began play in the 1993 season as the Florida Marlins. They played home games from their inaugural season to the 2011 season at Sun Life Stadium, which they shared with the Miami Dolphins of the National Football League and which was also called Joe Robbie Stadium, Pro Player Park, Pro Player Stadium, Dolphin Stadium, Dolphins Stadium, and Land Shark Stadium during their tenancy. Since the 2012 season, they have played at Marlins Park in downtown Miami, on the site of the former Orange Bowl in Little Havana, Florida. The new park, unlike Sun Life Stadium, was designed foremost as a baseball park. The new park's name is a temporary one until naming rights are purchased. Per agreement with the city and Miami-Dade County, the Marlins officially changed their name to the "Miami Marlins" on November 11, 2011. They also adopted a new logo, color scheme, and uniforms.
Who is the current manager for the [Miami Marlins]?