Probabilistic solution of nonlinear ship rolling in random beam seas