Both the park and the former casino were named National Monuments on February 25 , 1988 . Both the park and the former casino were named National Monuments on February 25 , 1988 , and the majority of the houses situated in the park are private homes .