The immigration raid that became a play