Allies of Florida Gov. Ron DeSantis and Disney reached a settlement agreement Wednesday in a lawsuit over who controls Walt Disney World’s governing district.

Dominic McLaughlin will portray Harry Potter. Alastair Stout will play Ronald Weasley, and Arabella Stanton will play Hermione Granger.