the Red House was built in 1752