一头狮子重0.25吨,野牛的重量是它的4倍,河马的重量是野牛的2.4倍,河马的重量是多少吨?