Is the encore casino opening delayed