The TK-880 comes in two models, the "H" and non-H.
The non-H are 25 watt radios.
The H models are 40 watts.
Per the service manual, the 25 watt models will pull 7 amps while transmitting.
The 40 watt manual will pull 11 amps while transmitting.
Since each radio is different, I'd give that a ± 10%.
You'll need a power supply capable of running 11amps at least. It's sometimes shown as "ICS" or Intermittent Communications Service, which means the power supply will happily run 11amps for "a while". Since commercial radios usually aren't used for long winded conversations, that usually translates into some duty cycle somewhere along the lines of a minute or so transmitting followed by a few minutes of not transmitting.
As others have said, it's -really- a good idea to up your power supply a bit and not run it on the ragged edge all the time. It also gives you the option of adding additional radios down the road.
A 15 amp power supply is pretty good for one radio, maybe a second one as long as you don't transmit with both at the same time. If you plan on adding several more radios in the future, or running something like an HF rig, getting something in the 25-30 amp range can be a good idea.
But for one radio, a 15 amp supply is plenty. You can go larger, it won't hurt, but if you are not going to use that excess capacity, it might be a waste of money.