which ocean borders kenya?