Will Johnny Depp be cast in the next Pirates of the Caribbean?

Before 2035 If Johnny Depp is cast in the next Pirates of the Caribbean before Jan 1, 2035, then the market resolves to Yes. Early close condition: This market will close and expire early if the event occurs. This market will close and expire early if the event occurs.