Any ground operation would stop short of a full-scale invasion, instead involving raids by special operations forces and conventional infantry troops, the Washington Post said, citing unnamed officials