About 4.3 horsepower. If you can get it to charge up all day long, (say 12 hours) you will have 38.4 kilowatthours, which works out to be about 50 horsepower for one hour.
Hardly enough to run a bus under even the most minimal conditions. I dare say someone is charging those batteries from the grid, but they aren't talking about it.
Just more crapulence from North Korea.
The bus only goes downhill.