Impact of COVID‐19 on the Insurance of Investment and Export Credit