President Donald Trump approved the strike before Christmas after months of planning, including troops training using a model of Maduro’s compound.