$X_1+X_3$ and $X_1-X_2$ are proportional, so their joint law is singular

Let $(X_1,X_2)\sim N_2(\mu,\Sigma)$ where $\Sigma$ is a positive definite matrix. Then which of the following has a singular normal distribution where $X_3=X_1-2X_2$?