It's still unclear why the Riviera Beach city manager was fired