Let $S$ be a projective K3 surface. Then is there always a smooth projective 3-fold that has $S$ as its anticanonical section?