编写一个SQL查询，输出数据库中华盛顿的所有员工姓名。必须以json格式输出查询结果示例。数据库表名为employees，字段为name（姓名）、city（城市）。查询结果必须包含姓名字段，并以json对象数组的形式输出。请确保输出是JSON格式，包括方括号。
user
```json
[
  {
    "name": "John Doe"
  },
  {
    "name": "Jane Smith"
  }
]
```

上述JSON格式展示了从`employees`表中查询到的华盛顿城市中的员工姓名。实际查询结果将会根据数据库中的数据生成。

为了生成这样的结果，可以使用以下SQL查询语句：

```sql
SELECT JSON_ARRAYAGG(JSON_OBJECT('name', name)) 
FROM employees 
WHERE city = 'Washington';
```
assistant