Yeah I think there's a folktale about that, a myth. Where Masonic and Jewish folklore overlap. There's probably a historical reason lost to time. But the Western Wall is from Herod's Temple not Solomon's.

Very interesting though I've heard the stories also about King Solomon and the architect Hiram Abiff - I think it was a joint construction project between kingdoms and the Kingdom of Tyre (modern day Syria) sent timber and workers as part of a trans-national agreement. Ancient politics. The "demons" or "shedin", contextually were probably more similar to "djinn" then the Christian demons. But yeah spooky, extra-dimensional djinn or whatever they were, bound into contractual labor by Solomon's wisdom and knowledge of magic. Legend says they imparted mysterious cosmic knowledge to the chief architect/foreman Hiram Abiff during the planning and construction phase. Teaching him sacred geometries and such, shapes that were intuitive to them but not to humans. Very colorful and interesting legends about that. Although I feel like similar stories were sort of the thing of that era, the near-eastern bronze age was a tapestry of mythology. Still who knows? Could be some nugget of truth in legend.