Denise Richards and Charlie Sheen named their baby: