Couldn't you just exchange your EUR for USD as needed? Use it as your reserve currency?