Officials at the laying of the cornerstone of Rohnert Park Library