Just say yes..it was an RMD and yes, you received all of it. whatever they issued is the RMD
Even for pensions, there is an RMD...you have no control over it, but there is one, and the pension provider issues you the required RMD amount according to whatever IRS rules are in place.
The only time the distribution will be higher than he RMD is if you terminate the plan by taking all your money out (IF they allow it...depends on the plan)
Now that you are over 70.5, the software will continue to ask that RMD question every year until we can convince them to add a "This is a pension" selection.