Longest-serving senator: Liberian ex-warlord Prince Johnson dies aged 72