Prince Johnson, Warlord Who Executed Liberia’s President, Dies at 72