Trump Entertainment CEO to retire in July