An approximation theory for strongly stabilizing solutions to the operator LQ Riccati equation