Hi, how do I create a Dashboard widget with filtered logs from logs Insight. I have managed to do by clicking around in the console, but can’t find out how to do it using pulumi :/. Disse the widget JSON that is created by clicking.

{
  “widgets”: [
    {
      “type”: “log”,
      “x”: 0,
      “y”: 0,
      “width”: 24,
      “height”: 17,
      “properties”: {
        “query”: “SOURCE ‘/aws/lambda/log-group-name | filter LogLevel = \“Error\” | limit 10",
        “region”: “eu-west-1",
        “stacked”: false,
        “title”: “Errors”,
        “view”: “table”
      }
    }
  ]
}